منابع مشابه
Hereditarily Odd–even and Combinatorial Isols
In this paper we study some of the arithmetic structure that is found in a special kind of semi-ring in the isols. These are the semi-rings [D(Y ),+, ·] that were introduced by J.C.E. Dekker, and that were later shown by E. Ellentuck to model the true universal recursive statements of arithmetic when Y is a regressive isol and is hyper-torre (= hereditarily odd-even = HOE). When Y is regressive...
متن کاملNonrecursive Relations among the Isols
The universal isol metatheorem is extended so as to deal with nonrecursive relations and countable Boolean operations.
متن کاملRecursive Fibers of Rst Isols
Motivated by a conjecture of Ellentuck concerning fibers f^x(C), f recursive and C an element of one of Barback's "tame models" (Tame models in the isols, Houston J. Math. 12 (1986), 163-175), we study such fibers in the more general context of Nerode semirings. The principal results are that (1) all existentially complete Nerode semirings meet all of their recursive fibers, and (2) not all Ner...
متن کاملHereditarily Optimal Realizations
Acknowledgments Obviously, though by no means trivially, many thanks are due to my advisor Professor Vincent Moulton, for introducing me to this fascinating subject, providing inspiration and helping me get started. Many thanks also to my colleague and co-author Dr. Katharina Huber for her patience during the many hours we spent going over the proofs in this paper. I am also most grateful to my...
متن کاملHereditarily effective typestreams
We prove that the hierarchy of hereditarily effective typestreams, that are effective models of inductivly defined types, has the length of the first recursivly inaccessible ordinal.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1967
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1967-11669-0